A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
نویسنده
چکیده
In this paper, a new kind of behaviour-preserving transition insertions in Petri nets is proposed, and a method for computing the useful and valid transition insertions using a complete unfolding prefix of the Petri net is developed. Moreover, as several transformations often have to be applied one after the other, the developed theory allows one to avoid (expensive) re-unfolding after each transformation, and instead use local modifications on the existing complete prefix to obtain a complete prefix of the modified net. © 2010 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details
منابع مشابه
Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Some design methods based on Petri nets modify the original specification by behaviour-preserving insertion of new transitions. If the unfolding prefix is used to analyse the net, it has to be re-unfolded after each modification, which is detrimental for the overall performance. The approach presented in this paper applies the transformations directly to the unfolding prefix, thus avoiding re-u...
متن کاملAn Efficient Algorithm for Unfolding Petri Nets
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit such a semantics is to consider (finite prefixes of) net unfoldings — themselves a class of acyclic Petri nets — which contain enough information, albeit implicit, to reason about the reachable markings of the original ...
متن کاملEFFECT OF COMPOSITION ON THE MAGNETIC BEHAVIOUR OF Gd2X COMPOUND
The eigenvalues of the isotropic magnetic interaction system extraction from Internal Field Approximation (IFA) q e computed. on the basis of RKKY for the complicated magnetic behaviour of Gd, X system X= (Au , Pt , Al , In ) as well as Gd. From the strength and slope of eigenvalue curves in different ranges of interaction the strength and sharpness of the magnetic transition can be suggest...
متن کاملSynthesis and characterization of some transition metal complexes of Schiff base derived from 2,4 - dihydroxybenzaldehyde
Abstract New N2O2 type Schiff base has been designed and synthesized by condensing 2,4 dihydroxy benzaldehyde and α-naphthylamine in ethanol. Solid metal complexes of the schiff base with Cu(II), Ni(II) and Zn(II) metal ion were synthesized and characterized by elemental analysis, magnetic susceptibility, molar conductance, IR, UV-Vis and ‘H NMR spectral studies. The data shows that the c...
متن کاملTowards an Efficient Algorithm for Unfolding Petri Nets
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit such a semantics is to consider (finite prefixes of) net unfoldings, which contain enough information to reason about the reachable markings of the original Petri nets. In this paper, we propose several improvements to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010